| |
| description |
79 pages
|
|
In dieser Diplomarbeit wird der Prototyp eines Werkzeugs zur
semantischen Analyse flexibel erweiterbarer Spezifikationssprachen
entwickelt. Der Prototyp für die syntaktische Analyse flexibel
erweiterbarer Spezifikationssprachen wurde bereits in der
Diplomarbeit von Frank Messicci implementiert und kann als Basis
für die semantische Analyse verwendet werden. Mit diesem Prototyp
hat der Anwender die Möglichkeit die Spezifikationssprache um
anwendungsbezogene Sprachkonstrukte zu erweitern. Hierfür verwendet
der Anwender in dem zu analysierenden Programm ein Sprachkonstrukt,
das eine Erweiterung der Sprache definiert. Mit jeder Erweiterung
der Sprache wird zur Laufzeit ein neuer LR-Parser gestartet, der die
weitere Analyse des Programms mit einer neu generierten
Steuertabelle fortsetzt. So können während der Analyse des
Programms u.U. mehrere LR-Parser laufen. Der Prototyp zur
semantischen Analyse ermöglicht dem Anwender zusätzlich die
eigentliche Semantik der Sprachkonstrukte der Spezifikationssprache
zu beschreiben. Für die Beschreibung der Semantik wird die von
Peter Mosses und David Watt entwickelte Sprache Action
Semantics" verwendet. Während der Analyse des Programms wird
ein Syntaxbaum aufgebaut. Nach der Analyse läßt sich dann mit
einem Top-Down Durchlauf des Syntaxbaumes und der
Semantikbeschreibung der Sprachkonstrukte eine Zwischensprache
generieren. Da für die Semantikbeschreibung der Sprachkonstrukte
die Sprache action semantics gewählt wurde ist die Zwischensprache
ebenfalls durch diese festgelegt.
|
| publisher |
Stuttgart, Germany, Universität Stuttgart
|
| type |
Text
|
| Diploma Thesis
|
| source |
ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1731/DIP-1731.ps
|
| contributor |
Integrierter Systementwurf (IPVR)
|
| format |
application/postscript
|
| 2283355 Bytes
|
| subject |
Programming Languages Formal Definitions and Theory (CR
D.3.1)
|
| Spezifikation
|
| Action Notation
|
| relation |
Diploma Thesis No. 1731
|